Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)
نویسندگان
چکیده
In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for the first three levels. Moreover, the semantical connections between the levels are formalized. It is shown that this general semantical framework is applicable for some well-known approaches such as preferential semantics and default logic.
منابع مشابه
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, wit...
متن کاملSpecification of Nonmonotonic Reasonong
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, wit...
متن کاملConstructing and Reasoning about Alternative Frames of Discernment
Abstract⎯We construct alternative frames of discernment from input belief functions. We assume that the core of each belief function is a subset of a so far unconstructed frame of discernment. The alternative frames are constructed as different cross products of unions of different cores. With the frames constructed the belief functions are combined for each alternative frame. The appropriatene...
متن کاملG-frames and their duals for Hilbert C*-modules
Abstract. Certain facts about frames and generalized frames (g- frames) are extended for the g-frames for Hilbert C*-modules. It is shown that g-frames for Hilbert C*-modules share several useful properties with those for Hilbert spaces. The paper also character- izes the operators which preserve the class of g-frames for Hilbert C*-modules. Moreover, a necessary and suffcient condition is ob- ...
متن کاملInnnitary Default Logic for Speciication of Nonmonotonic Reasoning A
In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an innnite sequence of theories that represents such a process a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by Re...
متن کامل